Compositional Design and Verification of a Multi-Agent System for One-to-Many Negotiation

A compositional verification method for multi-agent systems is presented and applied to a multi-agent system for one-to-many negotiation in the domain of load balancing of electricity use. Advantages of the method are that the complexity of the verification process is managed by compositionality, and that parts of the proofs can be reused in relation to reuse of components

Modeling software design diversity

Design diversity has been used for many years now as a means of achieving a degree of fault tolerance in software-based systems. Whilst there is clear evidence that the approach can be expected to deliver some increase in reliability compared with a single version, there is not agreement about the extent of this. More importantly, it remains difficult to evaluate exactly how reliable a particular diverse fault-tolerant system is. This difficulty arises because assumptions of independence of failures between different versions have been shown not to be tenable: assessment of the actual level of dependence present is therefore needed, and this is hard. In this tutorial we survey the modelling issues here, with an emphasis upon the impact these have upon the problem of assessing the reliability of fault tolerant systems. The intended audience is one of designers, assessors and project managers with only a basic knowledge of probabilities, as well as reliability experts without detailed knowledge of software, who seek an introduction to the probabilistic issues in decisions about design diversity

A ‘quiet revolution’? The impact of Training Schools on initial teacher training partnerships

This paper discusses the impact on initial teacher training of a new policy initiative in England: the introduction of Training Schools. First, the Training School project is set in context by exploring the evolution of a partnership approach to initial teacher training in England. Ways in which Training Schools represent a break with established practice are considered together with their implications for the dominant mode of partnership led by higher education institutions (HEIs). The capacity of Training Schools to achieve their own policy objectives is examined, especially their efficacy as a strategy for managing innovation and the dissemination of innovation. The paper ends by focusing on a particular Training School project which has adopted an unusual approach to its work and enquires whether this alternative approach could offer a more profitable way forward. During the course of the paper, five different models of partnership are considered: collaborative, complementary, HEI-led, school-led and partnership within a partnership

The plant pathogen Pseudomonas syringae pv. tomato is genetically monomorphic and under strong selection to evade tomato immunity

addresses: Department of Plant Pathology, Physiology, and Weed Science, Virginia Tech, Blacksburg, Virginia, United States of America.notes: PMCID: PMC3161960types: Journal Article; Research Support, U.S. Gov't, Non-P.H.S.This is an open-access article, free of all copyright, and may be freely reproduced, distributed, transmitted, modified, built upon, or otherwise used by anyone for any lawful purpose. The work is made available under the Creative Commons CC0 public domain dedication.Recently, genome sequencing of many isolates of genetically monomorphic bacterial human pathogens has given new insights into pathogen microevolution and phylogeography. Here, we report a genome-based micro-evolutionary study of a bacterial plant pathogen, Pseudomonas syringae pv. tomato. Only 267 mutations were identified between five sequenced isolates in 3,543,009 nt of analyzed genome sequence, which suggests a recent evolutionary origin of this pathogen. Further analysis with genome-derived markers of 89 world-wide isolates showed that several genotypes exist in North America and in Europe indicating frequent pathogen movement between these world regions. Genome-derived markers and molecular analyses of key pathogen loci important for virulence and motility both suggest ongoing adaptation to the tomato host. A mutational hotspot was found in the type III-secreted effector gene hopM1. These mutations abolish the cell death triggering activity of the full-length protein indicating strong selection for loss of function of this effector, which was previously considered a virulence factor. Two non-synonymous mutations in the flagellin-encoding gene fliC allowed identifying a new microbe associated molecular pattern (MAMP) in a region distinct from the known MAMP flg22. Interestingly, the ancestral allele of this MAMP induces a stronger tomato immune response than the derived alleles. The ancestral allele has largely disappeared from today's Pto populations suggesting that flagellin-triggered immunity limits pathogen fitness even in highly virulent pathogens. An additional non-synonymous mutation was identified in flg22 in South American isolates. Therefore, MAMPs are more variable than expected differing even between otherwise almost identical isolates of the same pathogen strain

Adaptive remodeling of the bacterial proteome by specific ribosomal modification regulates Pseudomonas infection and niche colonisation

Post-transcriptional control of protein abundance is a highly important, underexplored regulatory process by which organisms respond to their environments. Here we describe an important and previously unidentified regulatory pathway involving the ribosomal modification protein RimK, its regulator proteins RimA and RimB, and the widespread bacterial second messenger cyclic-di-GMP (cdG). Disruption of rimK affects motility and surface attachment in pathogenic and commensal Pseudomonas species, with rimK deletion significantly compromising rhizosphere colonisation by the commensal soil bacterium P. fluorescens, and plant infection by the pathogens P. syringae and P. aeruginosa. RimK functions as an ATP-dependent glutamyl ligase, adding glutamate residues to the C-terminus of ribosomal protein RpsF and inducing specific effects on both ribosome protein complement and function. Deletion of rimK in P. fluorescens leads to markedly reduced levels of multiple ribosomal proteins, and also of the key translational regulator Hfq. In turn, reduced Hfq levels induce specific downstream proteomic changes, with significant increases in multiple ABC transporters, stress response proteins and non-ribosomal peptide synthetases seen for both ΔrimK and Δhfq mutants. The activity of RimK is itself controlled by interactions with RimA, RimB and cdG. We propose that control of RimK activity represents a novel regulatory mechanism that dynamically influences interactions between bacteria and their hosts; translating environmental pressures into dynamic ribosomal changes, and consequently to an adaptive remodeling of the bacterial proteome

Agrarian diet and diseases of affluence – Do evolutionary novel dietary lectins cause leptin resistance?

BACKGROUND: The global pattern of varying prevalence of diseases of affluence, such as obesity, cardiovascular disease and diabetes, suggests that some environmental factor specific to agrarian societies could initiate these diseases. PRESENTATION OF THE HYPOTHESIS: We propose that a cereal-based diet could be such an environmental factor. Through previous studies in archaeology and molecular evolution we conclude that humans and the human leptin system are not specifically adapted to a cereal-based diet, and that leptin resistance associated with diseases of affluence could be a sign of insufficient adaptation to such a diet. We further propose lectins as a cereal constituent with sufficient properties to cause leptin resistance, either through effects on metabolism central to the proper functions of the leptin system, and/or directly through binding to human leptin or human leptin receptor, thereby affecting the function. TESTING THE HYPOTHESIS: Dietary interventions should compare effects of agrarian and non-agrarian diets on incidence of diseases of affluence, related risk factors and leptin resistance. A non-significant (p = 0.10) increase of cardiovascular mortality was noted in patients advised to eat more whole-grain cereals. Our lab conducted a study on 24 domestic pigs in which a cereal-free hunter-gatherer diet promoted significantly higher insulin sensitivity, lower diastolic blood pressure and lower C-reactive protein as compared to a cereal-based swine feed. Testing should also evaluate the effects of grass lectins on the leptin system in vivo by diet interventions, and in vitro in various leptin and leptin receptor models. Our group currently conducts such studies. IMPLICATIONS OF THE HYPOTHESIS: If an agrarian diet initiates diseases of affluence it should be possible to identify the responsible constituents and modify or remove them so as to make an agrarian diet healthier